A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
نویسندگان
چکیده
This paper presents extensions to the Spec Explorer tool to automate the testing of software applications through their GUI based on a formal specification in Spec#. The Spec Explorer tool, developed at Microsoft Research, already supports the automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a .Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing, by adding the capability to gather information about the physical GUI objects that are the target of the user actions described in the model, and automatically generate a .Net assembly with methods that simulate those actions upon the GUI application under test. It is described the overall GUI modelling and test process with these tools. The approach is illustrated with the Notepad application.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملAutomated functionality testing through GUIs
Model-based GUI testing (MGT) is emerging as a promising approach for testing applications with a graphical user interface (GUI). Currently, test models in MGT approaches are close to the GUI implementation with limited ability to represent abstract actions. This paper introduces the Action-Event Framework (AEF), a MGT framework. This framework helps testers abstract away from low-level details...
متن کاملIndustrial Adoption of Automatically Extracted GUI Models for Testing
Crafting the models for effective model-based testing (MBT) requires deep understanding of the problem domain and expertise on formal modeling, and creating the models manually from the scratch requires a significant amount of effort. When an existing system is being modeled and tested, there are various techniques to automate the process of producing the models based on the implementation. Esp...
متن کاملAutomated Model - based GUI Test Cases Generation from Use Cases
Mostly of today’s computer users interact with the software through a graphical user interface (GUI). In software engineering, software testing and quality have become a topic of major concern. Software testing is today an important stage in software projects and GUI testing is also crucial to the solution ́s quality. Nevertheless, GUI testing is not an easy task, it ́s very time consuming and to...
متن کاملSecurity testing of session initiation protocol implementations
The mechanisms which enable the vast majority of computer attacks are based on design and programming errors in networked applications. The growing use of voice over IP (VOIP) phone technology makes these phone applications potential targets. We present a tool to perform security testing of VOIP applications to identify security vulnerabilities which can be exploited by an attacker. Session Ini...
متن کامل